:: Monad m => _ -package:tasty-quickcheck package:constraints